#include <stdio.h>

int main()
{
  int a = 0xEEEEFFFF;
  a++;
  return 0;
}
